altitude on hypotenuse theorem